Apply Karl Berry's bug fix so @copying works with @ifnottex
authorRobert J. Chassell <bob@rattlesnake.com>
Wed, 16 Jul 2003 19:00:28 +0000 (19:00 +0000)
committerRobert J. Chassell <bob@rattlesnake.com>
Wed, 16 Jul 2003 19:00:28 +0000 (19:00 +0000)
commite46a03ce87267d9ae5ecc5b4e3da38c44be1c4f8
treeaa7cbda472810d93d6a68e86b545399db53f2e37
parent1293e3b16950e17df7b02b96f870118dac76e5cc
Apply Karl Berry's bug fix so @copying works with @ifnottex
lispintro/texinfo.tex